Sporto terminų žodynas. T. 1. 2-asis patais. ir papild. leid.: Aiškinamasis žodynas. Angliški, vokiški, rusiški terminų atitikmenys. Būtiniausios žinios. 2002.
theoretical hypothesis — teorinė hipotezė statusas T sritis Kūno kultūra ir sportas apibrėžtis Hipotezė, numatanti tyrimu pagrįstų įrodinėjamų teiginių dėsningumą, remiantis kuria nors teorija. atitikmenys: angl. theoretic hypothesis; theoretical hypothesis vok.… … Sporto terminų žodynas
teorinė hipotezė — statusas T sritis Kūno kultūra ir sportas apibrėžtis Hipotezė, numatanti tyrimu pagrįstų įrodinėjamų teiginių dėsningumą, remiantis kuria nors teorija. atitikmenys: angl. theoretic hypothesis; theoretical hypothesis vok. theorische Hypothese, f… … Sporto terminų žodynas
theorische Hypothese — teorinė hipotezė statusas T sritis Kūno kultūra ir sportas apibrėžtis Hipotezė, numatanti tyrimu pagrįstų įrodinėjamų teiginių dėsningumą, remiantis kuria nors teorija. atitikmenys: angl. theoretic hypothesis; theoretical hypothesis vok.… … Sporto terminų žodynas
теоретическая гипотеза — teorinė hipotezė statusas T sritis Kūno kultūra ir sportas apibrėžtis Hipotezė, numatanti tyrimu pagrįstų įrodinėjamų teiginių dėsningumą, remiantis kuria nors teorija. atitikmenys: angl. theoretic hypothesis; theoretical hypothesis vok.… … Sporto terminų žodynas
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
Church–Turing thesis — Church s thesis redirects here. For the constructive mathematics assertion, see Church s thesis (constructive mathematics). In computability theory, the Church–Turing thesis (also known as the Church–Turing conjecture, Church s thesis, Church s… … Wikipedia
Statistical inference — In statistics, statistical inference is the process of drawing conclusions from data that are subject to random variation, for example, observational errors or sampling variation.[1] More substantially, the terms statistical inference,… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
Set theory — This article is about the branch of mathematics. For musical set theory, see Set theory (music). A Venn diagram illustrating the intersection of two sets. Set theory is the branch of mathematics that studies sets, which are collections of objects … Wikipedia
